/*
 * FalseEscWarningInterprocedural.java
 *
 * Copyright 2007 Christoph Csallner and Yannis Smaragdakis.
 */
package edu.gatech.cc.cnc.examples;

/**
 * @author csallner@gatech.edu (Christoph Csallner)
 */
public class FalseEscWarningInterprocedural {

  /**
   * No formal specification for this simple method,
   * like it is the case for much Java code in practice.  
   */
  public int get10() {
    return 10;
  }
  
  /**
   * This method never crashes because of division by zero.
   * Yet ESC/Java warns about potential division by zero.
   */
  public int meth(int p) {
    return p / get10();
  }
}
